1. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
2. Free logic :
پدیدآورنده : Karel Lambert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Free logic.
رده :
BC129
.
L34
2003
3. Logic in Grammar Polarity, Free Choice, and Intervention
پدیدآورنده : /Gennaro Chierchia
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
4. Mysticism and logic: including a free man's worship
پدیدآورنده : Bertrand Russell
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Musticism
5. New Essays in Free Logic
پدیدآورنده : edited by Edgar Morscher, Alexander Hieke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General).,Semantics.
6. New essays in free logic : in honour of Karel Lambert
پدیدآورنده : edited by Edgar Morscher and Alexander Hieke
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Free logic
رده :
BC
129
.
N433
7. Philosophical applications of free logic
پدیدآورنده : with an introduction and edited by Karel Lambert
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
P45
8. Recursive number theory: a development of recursive arithmetic in a logic- free equation calculus
پدیدآورنده : by R.L. Goodstein
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Numbers, theory of
رده :
QA
248
.
5
.
G6N8
